four variable k-map